Toasters, Seat Belts, and Inferring Program Properties
نویسنده
چکیده
Today’s software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable software, and considers what realistic, meaningful guarantees for software would be like and how to achieve them. If you want a guarantee, buy a toaster. Clint Eastwood (The Rookie, 1990)
منابع مشابه
A cost benefit analysis of an enhanced seat belt enforcement program in South Africa.
OBJECTIVE To examine whether a program to increase the wearing of seat belts in a South African urban area would be worthwhile in societal terms. DESIGN A cost benefit analysis of a one year enhanced seat belt enforcement program in eThekwini (Durban) Municipality. METHODS Data were drawn from two main sources--a 1998 study of the cost of road crashes in South Africa and, given the absence ...
متن کاملCompliance with seat belt use in Benin City, Nigeria.
INTRODUCTION Trauma is a major cause of death and disability worldwide. A quarter of all fatalities due to injury occur due to road traffic crashes with 90% of the fatalities occurring in low- and medium-income countries. Poor compliance with the use of seat belts is a problem in many developing countries. The aim of this study was to evaluate the level of seatbelt compliance in motor vehicles ...
متن کاملSeat belts can reveal many clues after an accident
Introduction and shoulder belts (type 2 seat belts) help to reduce the risk of injury due to im vehicle interior and occupant. Seat belts also help distribute restraining forces Seat belts are the primary occupant pacts with vehicle interior components or over sturdy skeletal areas of the body. restraint system in passenger vehicles. ejection. Seat belts provide occupant However, the effective...
متن کاملCondoms and seat belts: the parallels and the lessons.
This paper investigates the relation between behavior adaptation and safety benefits of seat belts and whether condom promotion can be undermined by unintended changes in sexual risk perception and behavior. The comparison between 13 countries that passed seat belt laws and 4 countries without such laws shows a significant number of deaths among countries with seat belt laws. It has been sugg...
متن کاملSeating position, seat belt wearing, and the consequences in facial fractures in car occupants.
INTRODUCTION Trauma caused by traffic accidents is among the main etiologies involved in the occurrence of facial fractures throughout the world. However, the trauma mechanisms involved are different according to the location where the study was performed, due to different conditions of development, legislation, and culture. A retrospective study was done between February 2001 and July 2006, wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005